A non-commutative extension of MELLGUGLIELMI, Alessio; STRASSBURGER, Lutz.Lecture notes in computer science. 2002, pp 231-246, issn 0302-9743, isbn 3-540-00010-0, 16 p.Conference Paper

La logique linéaireGIRARD, J.-Y.Pour la science. 1990, Num 150, pp 74-85, issn 0153-4092, 9 figArticle

Polarized gamesLAURENT, Olivier.Proceedings - Symposium on Logic in Computer Science. 2002, pp 265-274, issn 1043-6871, isbn 0-7695-1483-9, 10 p.Conference Paper

Polynomial equivalence among systems LLNC, LLNC_a and LLNC₀METAYER, F.Theoretical computer science. 1999, Vol 227, Num 1-2, pp 221-229, issn 0304-3975Conference Paper

Decidability of linear affine logicKOPYLOV, A. P.Information and computation (Print). 2001, Vol 164, Num 1, pp 173-198, issn 0890-5401Article

From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

LOGIQUES LINÉAIRES HYBRIDES ET LEURS MODALITÉS : THÉORIES ET APPLICATIONS = HYBRID LINEAR LOGICS AND THEIR MODALITIES : THEORY AND APLICATIONSDemaille, Akim; Bellot, Patrick.1999, 175 p.Thesis

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Autonomous posets and quantalesMASCARI, G. F; PUCCI, F.Informatique théorique et applications (Imprimé). 1993, Vol 27, Num 6, pp 483-501, issn 0988-3754Article

Why so many temporal logics climb up the trees?RABINOVICH, A; MAOZ, S.Lecture notes in computer science. 2000, pp 629-639, issn 0302-9743, isbn 3-540-67901-4Conference Paper

A logic for Petri netsGIRAULT, F; PRADIER-CHEZALVIEL, B; VALETTE, R et al.Journal européen des systèmes automatisés. 1997, Vol 31, Num 3, pp 525-542, issn 1269-6935Conference Paper

A note on Girard quantalesROSENTHAL, K. I.Cahiers de topologie et géométrie différentielle catégoriques. 1990, Vol 31, Num 1, pp 3-11, issn 1245-530X, 9 p.Article

Coping polynomially with numerous but identical elements within planning problemsKANOVICH, Max; VAUZEILLES, Jacqueline.Lecture notes in computer science. 2003, pp 285-298, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

UN CADRE FORMEL ISSU DE LA THÉORIE DE LA DÉMONSTRATION POUR LA THÉORIE DE L'ARGUMENTATION = A proof theoretical framework for argumentation modelingFOUQUERE, Christophe; QUATRINI, Myriam.Mathématiques et sciences humaines (2000). 2012, Num 198, pp 49-83, issn 0987-6936, 35 p.Article

A representation theorem for quantalesBROWN, C; GURR, D.Journal of pure and applied algebra. 1993, Vol 85, Num 1, pp 27-42, issn 0022-4049Article

Planification en logique linéaire et langages de requêtes relationnels avec compteurs = Plan analysis in linear logic and relational query languages with countersTollu, Christophe; Vauzeilles, Jacqueline.1993, 139 p.Thesis

Typed GoI for ExponentialsHAGHVERDI, Esfandiar.Lecture notes in computer science. 2006, pp 384-395, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Signalling in languages with imperfect information = La signalisation des langages de l'information imparfaiteSANDU, Gabriel.Synthese (Dordrecht). 2001, Vol 127, Num 1-2, pp 21-34, issn 0039-7857Article

Realizability models for BLL-like languagesHOFMANN, M; SCOTT, P. J.Theoretical computer science. 2004, Vol 318, Num 1-2, pp 121-137, issn 0304-3975, 17 p.Conference Paper

Negotiation as a generic component coordination primitiveANDREOLI, Jean Marc; CASTELLANI, Stefania.Lecture notes in computer science. 2003, pp 86-97, issn 0302-9743, isbn 3-540-20529-2, 12 p.Conference Paper

Linear logic and lazy computation; Logique linéaire et calcul paresseuxGIRARD, Jean-Yves; LAFONT, Yves.Rapports de recherche - INRIA. 1986, Vol 588, issn 0249-6399, 16 p.Report

Grammar and logicMORRILL, G.Theoria. 1996, Vol 62, Num 3, pp 260-293, issn 0040-5825Conference Paper

Binding signatures for generic contextsPOWER, John; TANAKA, Miki.Lecture notes in computer science. 2005, pp 308-323, issn 0302-9743, isbn 3-540-25593-1, 16 p.Conference Paper

Duration-constrained regular expressionsLI XUANDONG; ZHAO JIANHUA; ZHENG TAO et al.Formal aspects of computing. 2004, Vol 16, Num 2, pp 155-163, issn 0934-5043, 9 p.Conference Paper

Linear logicGIRARD, Jean-Yves; OKADA, Mitsuhiro; SCEDROV, Andre et al.Theoretical computer science. 2003, Vol 294, Num 3, issn 0304-3975, 243 p.Conference Proceedings